Semantical Investigations on Some Weak Modal
نویسنده
چکیده
In this paper we examine weak logics similar to S0.5[ Φ], where Φ ⊆ S0.5. We also examine their versions (one of which is S0.5rte[ Φ]) that are closed under replacement of tautological equivalents (rte). We have that: S0.5rte[ (K), (T)] ( S0.9, S0.5rte[ (X), (T)] ( S1, and in general, if Φ ⊆ E1, then S0.5rte[ Φ] ( S2. In the second part we shall give simplified semantics for these logics, formulated by means of some Kripke-style models. We shall also prove that the logics in question are determined by some classes of these models.
منابع مشابه
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka’s graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of Lsemantical consequence operation, its some basic properties are obtained. Finally, this pape...
متن کاملSemantical study of intuitionistic modal logics
We investigate several intuitionistic modal logics (IMLs), mainly from semantical viewpoint. In these decades, in the area of type theory for programming language, various type systems corresponding (via Curry-Howard correspondence) to IMLs have been considered. However, IMLs arising from such a context are not extensively studied before. We try to understand the logical meaning of such IMLs, a...
متن کامل‘Rolling down the River’: Saul Kripke and the Course of Modal Logic
We discuss Saul Kripke’s seminal 1963 paper ’Semantical Considerations on Modal Logic’, and sketch subsequent developments in modal logic with a view to their general logical thrust.
متن کاملMore on modal aspects of default logic
Investigations of default logic have been so far mostly concerned with the notion of an extension of a default theory. It turns out, however, that default logic is much richer. Namely, there are other natural classes of objects that might be associated with default reasoning. We study two such classes of objects with emphasis on their relations with modal nonmonotonic formalisms. First, we intr...
متن کاملSemantical Analysis of Perpetual Strategies in -calculus ?
Perpetual strategies in-calculus are analyzed from a semantical perspective. This is achieved using suitable denotational models, computationally adequate with respect to the observational (operational) equivalence, p , induced by perpetual strategies. A necessary and suucient condition is given for an !-algebraic lattice, isomorphic to the space of its strict continuous self-maps, to be comput...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015